Safety and fairness in java multithreading concurrent system 多线程并发系统中的安全性与公平性
Specification - based testing of non - deterministic concurrent systems 非确定并发系统的基于说明的测试推导
Client / server model - standard model used in building concurrent systems 模式? ?构建并发系统的标准模式。
The traditional method is suitable for a simple , single user non - concurrent system 传统方法适合于简单的、单用户(非并发)系统。
Process algebras are widely used in describing and analyzing concurrent systems 进程代数在对并发系统的分析和验证等方面获得了广泛应用。
Model - checking is a technology for the verification of the properties of the concurrent systems 摘要模型检测是一种用于并发系统性质验证的算法技术。
Analyzing and verifying value - passing concurrent systems is a new research area in model - checking 对于并发传值系统的自动分析与验证是模型检测研究的一个新的方向。
Among them , the - calculus is the one capable of modelling concurrent systems with evolving communicating structures -演算是进程代数的典型代表,它可以描述那些通信拓扑结构会动态变化的系统。
Effective modeling of complex concurrent systems requires a formalism that can capture essential properties such as nondeterminism , synchronization and parallelism 对复杂的并发系统进行有效建模要求有一套形式化体系,由它能获取系统的本质特性,如不确定性、同步性和并发性。
However , concurrent systems with time restriction namely real - time systems are used widely in reallife , and the model - checking techniques are more and more applied to the verification of the properties of the real - time systems 实际生活中广泛应用的是带有时间约束的并发系统即实时系统,现在模型检测技术越来越被广泛地应用到这类系统的性质验证当中。